<?php
/*
    This script will (depending on the server settings) produce contents
    of any file on the server (such as /etc/passwd)
*/
$page = $_GET['page'];
require('header.php'); // title, css, etc
require("navi.php"); // navigation menu
require($page);  // page content
require('footer.php'); // footer banner etc
?>
